Artificial development - PDFSEARCH.IO - Document Search Engine

Artificial development
Results: 376

#	Item
91	Why formal verification remains on the fringes of commercial development Arvind Computer Science & Artificial Intelligence Laboratory Massachusetts Institute of Technology Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-04 08:51:50 Functional languages Theoretical computer science Technology Bluespec Inc. Arvind Atom Lennart Augustsson Formal methods James Hoe Computing Year of birth missing Software engineering
92	1 Loom: A Development Framework for Distributed Intelligent Agents Josh Brown Add to Reading List Source URL: ailoom.sourceforge.net Language: English - Date: 2003-04-29 17:01:55 Computing Knowledge Agent-based model Mobile agent Intelligent agent Distributed computing Peer-to-peer Software agent Distributed artificial intelligence Multi-agent systems Artificial intelligence Science
93	Proceedings of NordData-91, pages 31-45, Oslo, 16-19 June, 1991 Technology: Master or Servant? Michael Jackson Software Development Consultant 101 Hamilton Terrace Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2002-11-19 07:37:02 Philosophy of artificial intelligence Abstraction Axiology Logic Algorithm Computer Speech recognition System Computing Science Knowledge Ethology
94	Loom: A Development Framework for Distributed Intelligent Agents Josh Brown 2003 March 12th 1 Add to Reading List Source URL: ailoom.sourceforge.net Language: English - Date: 2003-04-29 17:01:55 Ethology Intelligent agent Mobile agent Rational agent Turing test Software agent Strong AI Artificial intelligence Science Knowledge
95	Agile Specifications Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {drayside, aleks, kuat, gdennis, dnj}@csail.mit.edu Ab Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-02-19 15:58:07 Software engineering Theoretical computer science Notation Programming language ALGOL 68 Software development process Agile software development Algorithm Abstraction Formal methods Computing Software development
96	AISB Journal The Interdisciplinary Journal of Artificial Intelligence and the Simulation of Behaviour Volume 1 – Number 4 – December 2003 Add to Reading List Source URL: aisb.org.uk Language: English - Date: 2009-11-25 04:40:21 Imitation Child development Behavior Psychology Philosophy of psychology Social learning theory Behaviorism Developmental psychology
97	Speaker, 18-20 June 2009, Paris, France Dr. Leonard Verhoef Human Efficiency, Utrecht, The Netherlands Leonard Verhoefperformed research on human thinking. As a psychologist he was involved in the development of Add to Reading List Source URL: dd4d.net Language: English - Date: 2009-04-01 05:18:29 Human–computer interaction Artificial intelligence Information Services Procurement Library Human factors Systems engineering Requirement Systems engineering process
98	MIRI MACH IN E INT ELLIGENCE R ESEARCH INS TITU TE Decision Support for Safe AI Design Add to Reading List Source URL: intelligence.org Language: English - Date: 2013-05-10 19:35:20 Open problems Knowledge Ethology Philosophy of mind Video game development Strong AI Intelligent agent Simulation H0 Artificial intelligence Computational neuroscience Science
99	The Twenty-Fifth IAAI Conference on Artificial Intelligence Bellevue (on Seattle’s eastside), Washington 16–18 JulyCollocated with AAAI-13 Add to Reading List Source URL: www.aaai.org Language: English - Date: 2012-07-05 16:01:16 Artificial intelligence Knowledge engineering Cybernetics Computational neuroscience Video game development Applications of artificial intelligence Ontology Kyoung Jun Lee Science Knowledge Technology
100	Roundtable Symposium, DAC, Aarhus University Cultural Transformations, Technology and Urban Development Thursday 27 March 2013, at 9am - 5pm Add to Reading List Source URL: dac.medarbejdere.au.dk Language: English - Date: 2014-03-12 05:20:01 Novel ecosystem Environmental social science Artificial life Software Urban planning Urban design Creatures Locative media Digital media Science Ecology TechnoSphere

UPDATE